Design by contract - PDFSEARCH.IO - Document Search Engine

Design by contract
Results: 233

#	Item
81	Circulation Estimated average paid circulation is 150,000 households. Circulation is obtained by ACBL memberships. Issuance and Closing dates Add to Reading List Source URL: web2.acbl.org Language: English - Date: 2014-03-27 14:53:40 Communication design Graphic design American Contract Bridge League Classified advertising Rate card Design Marketing Business Advertising
82	ICT~Office Terms and Conditions Module 2 Development of software The ICT~Office Terms and Conditions are filed with the Chamber of Commerce for the Central Netherlands under number[removed] Add to Reading List Source URL: www.nedap.com Language: English - Date: 2013-08-05 06:54:42 Science Software development Software engineering Design by contract Software testing Acceptance testing Software development process
83	Nested and Dynamic Contract Boundaries? T. Stephen Strickland and Matthias Felleisen PLT @ Northeastern University {sstrickl,matthias}@ccs.neu.edu Abstract. Previous work on software contracts assumes fixed and statical Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Holism Functional languages Contract law Racket Design by contract Modularity Scheme Contract External variable Software engineering Computer programming Computing
84	ICT~Office Terms and Conditions Module 3 Maintenance of software The ICT~Office Terms and Conditions are filed with the Chamber of Commerce for the Central Netherlands under number[removed] Add to Reading List Source URL: www.nedap.com Language: English - Date: 2013-08-05 06:54:42 Software maintenance Design by contract
85	Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-13 18:01:10 Logic in computer science Programming paradigms Cross-platform software Object-oriented programming Procedural programming languages Postcondition Design by contract Precondition Class invariant Software engineering Computing Computer programming
86	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design
87	Contract Manufacturing Rapid Prototype & Production Services Your electronics manufacturing requirements will be met or exceeded by Interphase full-service Add to Reading List Source URL: www.iphase.com Language: English - Date: 2014-10-10 15:29:14 Cell biology Interphase Mitosis Reliability engineering Prototype Requirement Acceptance testing PCI Express Technology Software development Design
88	ICT~Office Terms and Conditions Module 2 Development of software The ICT~Office Terms and Conditions are filed with the Chamber of Commerce for the Central Netherlands under number[removed] Add to Reading List Source URL: shop.xeu.com Language: English - Date: 2014-07-29 10:33:36 Science Software development Software engineering Design by contract Software testing Acceptance testing Software development process
89 $Radio Television Hong Kong / Design by contract / Media of the People\'s Republic of China / Hong Kong / Digital radio / Broadcasting / Digital Audio Broadcasting$	http://www.info.gov.hk/gia/general[removed]P201210170408_prin Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2012-10-24 02:15:32 Radio Television Hong Kong Design by contract Media of the People\'s Republic of China Hong Kong Digital radio Broadcasting Digital Audio Broadcasting
90	Disclaimer Please read this Disclaimer carefully as it applies to your access and use of the csl Wi-Fi Service (“Service”). By using this Service, you agree to be bound by this Disclaimer. 1. All listings, advertisem Add to Reading List Source URL: vip2.pccwwifi.com Language: English - Date: 2014-07-03 04:08:04 Business Advertising Implied warranty Design Marketing Affiliate marketing Contract law Warranty Disclaimer

UPDATE